Automatic Planning of Fine Motions: Correctness & Completeness
نویسنده
چکیده
In this paper we explore a method for automatic planning of robot finemotion programs, first described in [Lozano-PCrez, Mason, and Taylor 19831. The primary result is a variation that is shown to be “bounded-conip1ete”the method obtains a solution whenever a solution consisting of a bounded number of motions exists.
منابع مشابه
Automatic planning of fine motions: Correctness and completeness
In this paper we explore a method for automatic planning of robot finemotion programs, first described in [Lozano-Perez, Mason, and Taylor 1983]. The primary result is a variation that is shown to be "bounded-complete" — the method obtains a solution whenever a solution consisting of a bounded number of motions exists. By the clever use of task geometry and sensory information, a manipulator ca...
متن کاملAutomatic Fairing of Two-parameter Rational B-spline Motion
This paper deals with the problem of automatic fairing of two-parameter B-Spline spherical and spatial motions. The concept of two-parameter freeform motions brings together the notion of the analytically determined two-parameter motions in Theoretical Kinematics and the concept of freeform surfaces in the field of Computer Aided Geometric Design (CAGD). A dual quaternion representation of spat...
متن کاملAutomatic Extrapolation of Missing Road Network Data in OpenStreetMap
Road network data from OpenStreetMap (OSM) is the basis of various real-world applications such as fleet management or traffic flow estimation, and has become a standard dataset for research on route planning and related subjects. The quality of such applications and conclusiveness of research crucially relies on correctness and completeness of the underlying road network data. We introduce met...
متن کاملAutomatic Vehicle Detection in Satellite Images
Vehicle detection is motivated by different fields of application, e.g. traffic flow management, road planning or estimation of air and noise pollution. Therefore, an algorithm that automatically detects and counts vehicles in airor space-borne images would effectively support these traffic-related analyses in urban planning. Due to the small vehicle size in satellite images detection of single...
متن کاملCorrectness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars
Triple graph grammars (TGGs) have been applied successfully for specifying and analysing bidirectional model transformations. Recently, a formal approach to concurrent model synchronisation has been presented, where source and target modifications are synchronised simultaneously. In addition to methods for update propagation, the approach includes a semi-automatic strategy for conflict resoluti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002